Equational properties of iterative monads
نویسندگان
چکیده
منابع مشابه
Equational Lifting Monads
We introduce the notion of an equational lifting monad: a commutative strong monad satisfying one additional equation (valid for monads arising from partial map classifiers). We prove that any equational lifting monad has a representation by a partial map classifier such that the Kleisli category of the former fully embeds in the partial category of the latter. Thus equational lifting monads pr...
متن کاملIterative reflections of monads
Iterative monads, introduced by Calvin Elgot in the 1970’s, are those ideal monads in which every guarded system of recursive equations has a unique solution. For every ideal monad M we prove that an iterative reflection, i.e., an embedding M ↪−→ M̂ into an iterative monad with the expected universal property, exists. We also introduce the concept of iterativity for algebras for the monad M, fol...
متن کاملEquational presentations of functors and monads
In categorical universal algebra, it is well known that a finitary equational presentation of algebras in a finitary variety K amounts to the existence of a coequaliser of a pair of morphisms between finitely generated free algebras. The essence of a universal-algebraic flavour of a finitary functor L : K −→ K is that L is determined by its behaviour on finitely generated free algebras. In fact...
متن کاملCompletely iterative algebras and completely iterative monads
Completely iterative theories of Calvin Elgot formalize (potentially infinite) computations as solutions of recursive equations. One of the main results of Elgot and his coauthors is that infinite trees form a free completely iterative theory. Their algebraic proof of this result is extremely complicated. We present completely iterative algebras as a new approach to the description of free comp...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Information and Computation
سال: 2010
ISSN: 0890-5401
DOI: 10.1016/j.ic.2009.10.006